منابع مشابه
Functions as proofs as processes
This paper presents a logical approach to the translation of functional calculi into concurrent process calculi. The starting point is a type system for the π-calculus closely related to linear logic. Decompositions of intuitionistic and classical logics into this system provide type-preserving translations of the λand λμ-calculus, both for call-by-name and call-by-value evaluation strategies. ...
متن کاملMonitoring dynamic spatio-temporal ecological processes optimally.
Population dynamics vary in space and time. Survey designs that ignore these dynamics may be inefficient and fail to capture essential spatio-temporal variability of a process. Alternatively, dynamic survey designs explicitly incorporate knowledge of ecological processes, the associated uncertainty in those processes, and can be optimized with respect to monitoring objectives. We describe a coh...
متن کاملSpatio-Temporal Processes in Ecological Communities
Ecological systems evolve in space and time. Until recently, however, research in ecology separately has focused either on the spatial domain (patterns) or on the temporal domain (processes). In this paper we describe novel approaches for progressing towards an integration of pattern and process, a goal long called for in ecology. First, we present a sequence of alternative stochastic models of...
متن کاملDesign Patterns for Spatio-temporal Processes
Time is an essential dimension to analyse and understand real-world evolution. Although many temporal extensions to spatial models have been proposed, there is still a need to define modelling methods to describe and represent real-world phenomena. This paper presents a set of design patterns modelling spatio-temporal processes expressed in an object-relationship data model. The proposed framew...
متن کاملNonparametric prediction of nonstationary spatio-temporal processes
In spatial statistics often the response variable at a given location and time is observed together with some covariates which are known to influence the response. In several applications the relationship between the response and covariates may be unknown, and to prevent misspecification of the model, a nonparametric approach could be appropriate. In this paper prediction and forecasting of the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophia Scientae
سال: 2014
ISSN: 1281-2463,1775-4283
DOI: 10.4000/philosophiascientiae.1010